Overview of the Knowledge Base Management System (KAPPA)

This is an overview of the knowledge base management system called Kappa, one of the research and development activities performed at ICOT on databases and knowledge bases. The underlying data model is a nested relational model, and some complex data models are constructed and under consideration on the model. Deductive databases are constructed as one of knowledge base mechanisms and further extensions are planned within the framework of deductive and objectoriented databases. In this paper, we overview not only the current status of the system and the project but also their conception and activities related to them, and discuss the framework of deductive and objectoriented databases.